Calculus of Constructions
CoC
Coq
の型システム
The calculus of constructions
という論文
https://blog.miz-ar.info/2017/07/type-system/#i-4
https://en.wikipedia.org/wiki/Calculus_of_constructions
http://lpha-z.hatenablog.com/entry/2019/10/20/231500
http://pllab.is.ocha.ac.jp/~asai/jpapers/ppl/suzuki06.pdf
https://googology.wikia.org/ja/wiki/ローダー数
ローダー数
への応用
龍田『型理論』
7章
Extended Calculus of Constructions
https://ncatlab.org/nlab/show/calculus+of+constructions